
@BOOK{Fitzgerald&05,
  KEY           = "Fitzgerald\&05",
  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Paul Mukherjee and
                   Nico Plat and Marcel Verhoef",
  TITLE         = "{Validated Designs for Object--oriented Systems}",
  PUBLISHER     = "Springer, New York",
  YEAR          = "2005",
  URL           = "{\tt {http://www.vdmbook.com}}",
  ISBN          = "1-85233-881-4",
  ANNOTE        = "",
  COMMENT       = "PGL"}

@INPROCEEDINGS{Verhoef&06b,
  KEY           = "Verhoef\&06",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman",
  EDITOR        = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",
  TITLE         = "{Modeling and Validating Distributed Embedded 
                    Real-Time Systems with VDM++}",
  BOOKTITLE     = "FM 2006: Formal Methods",
  PUBLISHER     = "Lecture Notes in Computer Science 4085",
  YEAR          = "2006",
  PAGES         = "147-162",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}

@ARTICLE{Wandeler&06,
  KEY           = "Wandeler\&06",
  AUTHOR        = "Ernesto Wandeler and Lothar Thiele and Marcel Verhoef 
                   and Paul Lieverse",
  TITLE         = "{System Architecture Evaluation Using Modular Performance 
                   Analysis -- A Case Study}",
  JOURNAL       = "International Journal on Software Tools for Technology Transfer",
  PUBLISHER     = "Springer",
  YEAR          = "2006",
  VOLUME        = "8",
  NUMBER        = "6",
  PAGES         = "649--667",
  MONTH         = "",
  SIZE          = "",
  COMMENT       = "MV has the source text"}

@inproceedings{Hendriks&06,
   author       = "{Martijn Hendriks and Marcel Verhoef}",
   title        = "{Timed Automata Based Analysis of Embedded System Architectures}",
   booktitle    = "{Proc. 14th Intl. Workshop on Parallel and Distributed Real-Time Systems}",
   publisher    = {IEEE},
   year         = {2006},
   note         = {In Procs. IPDPS 2006, DOI 10.1109/IPDPS.2006.1639422}
}

@BOOK{ISOVDM96x,
   KEY          = "ISOVDM96x",
   EDITOR       = "D.J. Andrews",
   TITLE        = "{Vienna 
                    Development Method -- Specification Language -- Part 1:
                    Base language}",
   NOTE         = "{International Standard ISO/IEC 13817-1}",
   YEAR         = "1996",
   MONTH        = "December",
   PUBLISHER    = "International Organization for Standardization"
}

@MISC{VDMPortal,
  KEY           = "VDMPortal",
  AUTHOR        = "{Overture~Group}",
  TITLE         = "{The VDM Portal}",
  YEAR          = "2007",
  MONTH         = "",
  HOWPUBLISHED  = "\textit{http://www.vdmportal.org}",
  SIZE          = "",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

@INPROCEEDINGS{Verhoef06,
  KEY           = "Verhoef06",
  AUTHOR        = "Marcel Verhoef",
  EDITOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat",
  TITLE         = "{On the use of VDM++ for Specifying Real-Time Systems}",
  BOOKTITLE     = "{Towards Next Generation Tools for VDM}",
  ADDRESS       = "School of Computing Science, Newcastle University, Technical Report CS-TR-969",
  YEAR          = "2006",
  MONTH         = "June",
  PAGES         = "26--43"
}

@TECHREPORT{Verhoef&06,
  KEY           = "Verhoef\&06",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen",
  TITLE         = "{Enhancing VDM++ for Modeling Distributed Embedded Real-time Systems}",
  INSTITUTION   = "Radboud University Nijmegen",
  YEAR          = "2006",
  MONTH         = "March",
  TYPE          = "",
  NUMBER        = "(to appear)",
  SIZE          = "",
  NOTE          = "A preliminary version of this report is available on-line at \textit{http://www.cs.ru.nl/$\sim$marcelv/vdm/}",
  ANNOTE        = "",
  COMMENT       = ""}


@INPROCEEDINGS{Verhoef&07,
  KEY           = "Verhoef\&07",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen",
  EDITOR        = "Brian Sauser and Gerrit Muller",
  TITLE         = "{Interpreting Distributed System Architectures Using VDM++ 
                   -- A Case Study}",
  BOOKTITLE     = "5th Annual Conference on Systems Engineering Research",
  PUBLISHER     = "",
  YEAR          = "2007",
  MONTH         = "March",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}

@MISC{VDMTools,
  KEY           = "VDMTools",
  AUTHOR        = "CSK",
  TITLE         = "{VDMTools homepage}",
  YEAR          = "2007",
  MONTH         = "",
  HOWPUBLISHED  = "\textit{http://www.vdmtools.jp/en/}",
  SIZE          = "",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

@INPROCEEDINGS{Berg&99a,
  KEY           = "Berg\&99a",
  AUTHOR        = "Manuel {Van~den~Berg} and Marcel Verhoef and Mark Wigmans",
  EDITOR        = "John Fitzgerald and Peter Gorm Larsen",
  TITLE         = "{Formal Specification of an Auctioning System Using 
                    VDM++ and UML -- an Industrial Usage Report}",
  BOOKTITLE     = "VDM in Practice",
  YEAR          = "1999",
  MONTH         = "September",
  PAGES         = "85--93",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = "PGL"}

@ARTICLE{Horl&00b,
  KEY           = "{H\"orl\&00}",
  AUTHOR        = {Johann H\"orl and Bernhard K.~Aichernig},
  TITLE         = "{Validating Voice Communication Requirements Using
                  Lightweight Formal Methods}",
  JOURNAL       = {IEEE Software},
  VOLUME	= {13--3},
  YEAR          = {2000},
  MONTH         = {May},
  PAGES		= {21--27}
}

@INPROCEEDINGS{Kurita&05,
  KEY           = "Kurita&05",
  AUTHOR        = "Taro Kurita and Toyokazu Oota and Yasumasa Nakatsugawa",
  TITLE         = "{Formal Specification of an Embedded {IC} for Cellular Phones}",
  BOOKTITLE     = "Proc. Software Symposium 2005",
  PUBLISHER     = "Software Engineers Associates of Japan",
  YEAR          = "2005",
  MONTH         = "June",
  PAGES         = "73-80",
  NOTE          = "(in Japanese)",
  ISBN		= "ISBN 4-916227-18-2"}

@INCOLLECTION{Fitzgerald&07,
  KEY           = "Fitzgerald\&07",
  AUTHOR        = "J.S. Fitzgerald and P.G. Larsen",
  TITLE         = "{Triumphs and Challenges for the Industrial
                   Application of Model-Oriented Formal Methods}",
  EDITOR        = "T. Margaria and A. Philippou and B. Steffen",
  BOOKTITLE     = "{Proc. 2nd Intl. Symp. on Leveraging Applications of
                   Formal Methods, Verification and Validation}",
  PUBLISHER     = "IEEE",
  YEAR          = "2007",
  NOTE          = "To appear. Also Technical Report CS-TR-999, School of Computing
                   Science, Newcastle University"}
@ARTICLE{Jahanian&86,
  KEY           = "Jahanian\&86",
  AUTHOR        = "Farnam Jahanian and Aloysius Ka-Lau Mok",
  TITLE         = "{Safety Analysis of Timing Properties in Real-Time
                   Systems}",
  JOURNAL       = "IEEE Transactions on Software Engineering",
  YEAR          = "1986",
  MONTH         = "September",
  VOLUME        = "SE-12",
  NUMBER        = "9",
  PAGES         = "890--904",
  SIZE          = "15",
  ANNOTE        = "",
  COMMENT       = "BIB. I have read most of it 13/6-91 (PGL)"}

@TECHREPORT{George&98,
  KEY           = "George&98",
  AUTHOR        = {C. George and X. Yong},
  TITLE         = "{An Operational Semantics for Timed RAISE}",
  INSTITUTION   = {United Nations University International Institute for Software Technology},
  YEAR          = {1998},
  MONTH         = {November},
  NUMBER        = {149}}

@INPROCEEDINGS{Derrick03,
  KEY           = "Derrick03",
  AUTHOR        = "John Derrick",
  TITLE         = "{Timed CSP and Object-Z}",
  EDITOR        = "D. Bert and J. Bowen and S. King and M. Walden",
  BOOKTITLE     = "{ZB 2003: Formal Specification and Development in Z and B}",
  ORGANIZATION  = "Springer-Verlag",
  PUBLISHER     = "Lecture Notes in Computer Science volume 2651",
  ADDRESS       = "Berlin, Germany",
  YEAR          = "2003",
  MONTH         = "June"
}

@INPROCEEDINGS{Rached&05,
  KEY           = "Rached\&05",
  AUTHOR        = "M. Rached and J.-P. Bodeveix and M. Filali and O. Nasr",
  TITLE         = "{A Timed B method for Modelling Real Time Reactive Systems}",
  BOOKTITLE     = "{2nd South-East European Workshop on Formal Methods (SEEFM 05), Ohrid, 18-19 Nov 2005}",
  publisher     = "South-East European Research Centre (SEERC)",
  year          = "2006",
  isbn          = "960-87869-8-3",
  pages         = "181--195" 
}


@ARTICLE{Ober&06,
  KEY           = "Ober\&06",
  AUTHOR        = "Iulian Ober and Susanne Graf and Ileana Ober",
  TITLE         = "{Validating Timed UML Models by Simulation and Verification}",
  JOURNAL       = "Software Tools for Technology Transfer",
  YEAR          = "2006",
  VOLUME        = "8",
  NUMBER        = "2",
  PAGES         = "128--145",
  PUBLISHER     = "Springer Verlag"}

@INPROCEEDINGS{Graf&04,
  KEY           = "Graf\&04",
  AUTHOR        = "S. Graf and J. Hooman",
  TITLE         = "{Correct Development of Embedded Systems}",
  BOOKTITLE     = "{Proc. European Workshop on Software Architecture: Languages, Styles, Models, Tools and Applications (EWSA 2004), co-located with ICSE 2004}",
  PUBLISHER     = "Springer Verlag Lecture Notes in Computer Science Volume 3047",
  YEAR          = "2004",
  PAGES         = "241--249"
}

@BOOK{Bicarregui&94,
  KEY           = "Bicarregui\&94",
  AUTHOR        = "Juan Bicarregui and John Fitzgerald and Peter Lindsay and
                   Richard Moore and Brian Ritchie",
  TITLE         = "{Proof in VDM: A Practitioner's Guide}",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1994",
  SERIES        = "FACIT",
  SIZE          = "245",
  NOTE          = "ISBN 3-540-19813-X",
  ANNOTE        = "The most complete set 
                   of proof rules for VDM-SL to date.",
  COMMENT       = ""}

@ARTICLE{Liu&07,
  KEY           = "Liu\&07",
  AUTHOR        = "Shaoying Liu and Hao Wang",
  TITLE         = "{An automated approach to specification animation for validation}",
  JOURNAL       = "Journal of Systems and Software",
  PUBLISHER     = "Elsevier",
  YEAR          = "2007",
  VOLUME        = "80",
  PAGES         = "1271--1285",
}

@INPROCEEDINGS{Liu04,
  KEY           = "Liu04",
  AUTHOR        = "{Shih-hsi Liu}",
  TITLE         = "{Validation of Distributed Real-Time and Embedded System Composition in UniFrame}",
  BOOKTITLE     = "{ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference}",
  YEAR          = "2004",
  PAGES         = "303--304",
  PUBLISHER     = "{ACM Press}"
}

